A Generalization of Lappan’s Theorem to Higher Dimensional Complex Projective Space

In this paper, the authors discuss a generalization of Lappan’s theorem to higher dimensional complex projective space and get the following result: Let f be a holomorphic mapping of ? into Pⁿ(C), and let H₁, · · · , H_q be hyperplanes in general position in Pⁿ(C).Assume that sup {(1 ? |z|²)f^?(z) : z ∈ q[ j=1 f^?1(H_j )o < ∞,if q ≥ 2n² + 3, then f is normal.     

Singular Hamiltonian elliptic systems with critical exponential growth in dimension two

We will focus on the existence of nontrivial solutions to the following Hamiltonian elliptic system where are numbers belonging to the interval [0, 2), V is a continuous potential bounded below on by a positive constant and the functions f and g possess exponential growth range established by Trudinger–Moser inequalities in Lorentz–Sobolev spaces. The proof involves linking theorem and a finite‐dimensional approximation.     

The spectral analysis and exponential stability of a bi‐directional coupled wave‐ODE system

In this paper, an unstable linear time invariant (LTI) ODE system is stabilized exponentially by the PDE compensato—a wave equation with Kelvin‐Voigt (K‐V) damping. Direct feedback connections between the ODE system and wave equation are established: The velocity of the wave equation enters the ODE through the variable v_t(1,t); meanwhile, the output of the ODE is fluxed into the wave equation. It is found that the spectrum of the system operator is composed of two parts: point spectrum and continuous spectrum. The continuous spectrum consists of an isolated point , and there are two branches of asymptotic eigenvalues: the first branch approaches to , and the other branch tends to ?∞. It is shown that there is a sequence of generalized eigenfunctions, which forms a Riesz basis for the Hilbert state space. As a consequence, the spectrum‐determined growth condition and exponential stability of the system are concluded.     

Progress in DNA Aptamers as Recognition Components for Protein Functional Regulation

Proteins play a central role in all domains of life, and precise regulation of their activity is essential for understanding the related biological processes and therapeutic functions. Nucleic acid aptamers, the molecular recognition components derived from systematic evolution of ligands by exponential enrichment(SELEX), can specifically identify proteins with antibody-like recognition characteristics and help to regulate their activity. This minireview covers the SELEX-based selection of protein-binding aptamers, membrane protein analytical techniques based on aptamer-mediated target recognition, aptamer-mediated functional regulation of proteins, including membrane receptors and non-membrane proteins(thrombin as a model), as well as the potential challenges and prospects regarding aptamer-mediated protein manipulation, aiming to supply some useful information for researchers in this field.     

Initial boundary value problem for a class of strongly damped semilinear wave equations with logarithmic nonlinearity

This paper deals with the initial boundary value problem for strongly damped semilinear wave equations with logarithmic nonlinearity $u_{tt}-\Delta u-\Delta u_t={\phi }_p\left(u\right)log\left|u\right|$ in a bounded domain $\Omega \subset {\mathbb{R}}^n$. We discuss the existence, uniqueness and polynomial or exponential energy decay estimates of global weak solutions under some appropriate conditions. Moreover, we derive the finite time blow up results of weak solutions, and give the lower and upper bounds for blow-up time by the combination of the concavity method, perturbation energy method and differential–integral inequality technique.     

Comparison of implicit and explicit AUSM‐family schemes for compressible multiphase flows

This paper makes the first attempt of extending implicit AUSM‐family schemes to multiphase flow simulations. Water faucet, air–water shock tube and oscillating manometer problems are used as benchmark tests with the generic four‐equation two‐fluid model. For solving the equations implicitly, Newton's method along with a sparse matrix solver (UMFPACK solver) is employed, and the numerical Jacobian matrix is calculated. Comparison between implicit and explicit AUSM‐family schemes is presented, indicating that similarly accurate results are obtained with both schemes. Furthermore, the water faucet problem is solved using both staggered and collocated grids. This investigation helps integrate high‐resolution schemes into staggered‐grid‐based computational algorithms. The influence of the interface pressure correction on the simulation results is also examined. Results show that the interfacial pressure correction introduces numerical dissipation. However, this dissipation cannot eliminate the overshoots because of the incompatibility of numerical discretization of the conservative and non‐conservative terms in the governing equations. The comparison of CPU time between implicit and explicit schemes is also studied, indicating that the implicit scheme is capable of improving the computational efficiency over its explicit counterpart. Copyright © 2014 John Wiley & Sons, Ltd.